Von Neumann's trace inequality

In mathematics, von Neumann's trace inequality, named after its originator John von Neumann, states that for any n × n complex matrices A, B with singular values $\alpha_1 \ge \alpha_2 \ge \cdots \ge \alpha_n$ and $\beta_1 \ge \beta_2 \ge \cdots \ge \beta_n$ respectively,

$\left| \mathrm{trace}(AB) \right| \le \sum_{i=1}^n \alpha_i \beta_i.$

(See Trace (linear algebra).)

References

Mirsky, L. (1975), "A trace inequality of John von Neumann", Monatsh. Math. 79 (4): 303–306, doi:10.1007/BF01647331, MR 0371930

External links

Darren Rhea, von Neumann's Trace Inequality (pdf proof)